Inserisci una parola o una frase in qualsiasi lingua 👆
Lingua:
Traduzione e analisi delle parole tramite l'intelligenza artificiale ChatGPT
In questa pagina puoi ottenere un'analisi dettagliata di una parola o frase, prodotta utilizzando la migliore tecnologia di intelligenza artificiale fino ad oggi:
- come viene usata la parola
- frequenza di utilizzo
- è usato più spesso nel discorso orale o scritto
- opzioni di traduzione delle parole
- esempi di utilizzo (varie frasi con traduzione)
- etimologia
Cosa (chi) è Isabelle - definizione
FEMALE GIVEN NAME
Isabelle (a female name); Isabell; Isabelle; Isabelle (given name); Isabelle (name); Izobel; Iseabail; Ishbel
Isabelle
<theory, tool> A generic theorem prover with support for
several object-logics, developed by Lawrence C. Paulson
<Larry.Paulson@cl.cam.ac.uk> in collaboration with {Tobias
Nipkow (http://in.tum.de/Isabellenipkow/) } at the {Technical
University of Munich}.
A system of type classes allows polymorphic object-logics
with overloading and automatic type inference.
Isabelle supports first-order logic - constructive and
classical versions; higher-order logic, similar to Gordon's
HOL; Zermelo Frankel set theory; an extensional version
of Martin Lof's type theory, the classical first-order
sequent calculus, LK; the modal logics T, S4, and
S43; and Logic for Computable Functions.
An object logic's syntax and inference rules are specified
declaratively allowing single-step proof construction.
Proof procedures can be expressed using "tactics" and
"tacticals". Isabelle provides control structures for
expressing search procedures and generic tools such as
simplifiers and classical theorem provers which can be applied
to object-logics. Isabelle is built on top of Standard ML
and uses its user interface.
Isabelle/">http://cl.cam.ac.uk/Research/HVG/Isabelle/.
Mailing list: isabelle-users@cl.cam.ac.uk.
["tactics"? "tacticals"? ]
(1999-07-26)
ISABELLE
ISABELLE (also known later as Colliding Beam Accelerator, CBA) was a 200+200 GeV proton–proton colliding beam particle accelerator partially built by the United States government at Brookhaven National Laboratory in Upton, New York, before it was cancelled in July, 1983.
Saint Isabelle of France
FRENCH ROMAN CATHOLIC PRINCESS, NUN AND BLESSED
Isabel of France, Saint; St. Isabel of France; Saint Isabel of France; Saint Isabelle; Isabelle of France (saint)
Isabelle of France (March 1224The Chronicon Turonense records the birth in 1224 "mense martio" of "Isabellis, filia Ludovici Regis Franciae". Chronicon Turonense, Recueil des historiens des Gaules et de la France, vol.
Wikipedia
Isabel
Isabel is a female name of Spanish origin. Isabelle is a name that is similar, but it is of French origin. It originates as the medieval Spanish form of Elisabeth (ultimately Hebrew Elisheba), Arising in the 12th century, it became popular in England in the 13th century following the marriage of Isabella of Angoulême to the king of England. Today it is sometimes abbreviated to Isa. The name Isabel is also related to Jezebel, the wife of King Ahab. The pronunciation of which is Tiberian: ʾĪzeḇel
Esempi dal corpus di testo per Isabelle
1. They live in Swindon with their daughter Isabelle, 11 months.
2. Cody and Isabelle aren‘t going through anything, their characters are.
3. The couple have two children, Isabelle and Connor.
4. It was still unclear how long Isabelle will remain hospitalized, said Bachmann, one of two psychiatrists who has treated Isabelle in the southern city of Lyon.
5. Planche‘s daughter, Isabelle, accompanied by a niece, kissed her father.